fix typo in push.bash