fix a typo in the previous commit