fixed a UTF-8 encoding issue that I found.