Fix a typo in a comment in the previous commit.