Fixed a comment. No functional changes.