Harmless typo in a comment.