Fix a typo in the last commit.