fix typo in push statement.