Improved push_doc command.