Fix a typo in the previous commit.