Fixed a typo in the last push