Fixed a typo in a comment, no functional changes.