small fix in a comment