Fixes some odd encoding issue in a comment.