Fix encoding of comments.

This makes some files use utf-8 and fixes a weird quote in another comment.