Remove non-ASCII characters from a comment.

They cause breakage e.g. if locale is POSIX.