fix typo in last push