fixed a typo from last push