The word "stub" means put out a cigarette by pushing the end against something. Is this sentence grammatically correct? I wanna change the "put" into "putting", but someone told me it is the original sentence from an article written by a native speaker.