Before revision: A pipe tool is any of a variety of small gadgets designed to aid in packing, smoking, and emptying tobacco pipes .
After revision: A pipe tool is a small gadget designed to aid in packing, smoking, and emptying a tobacco pipe .