Python: fix push example