Fix non-UTF-8 characters in comments

The non-UTF-8 characters cause build errors in newer Java compilers. I notice they've already been fixed in two files.