Fixed a typo in a comment. No functional changes.