Removed non-ASCII characters from comment.