Fixed a trivial typo in the comments.