Corrected a typo in the comments.