minor fix in comment, no code changes