fix in a comment typo

Trivial comment fix.