Whoops. Fix a typo in the comments.