fix a comment typo

Trivial comment fix.