Fix a typo in the push command.