typos in push doc, prevented doc generator