Fixed strange UTF quote characters

Someone had managed to use some strange UTF quote characters, and github's online editor didn't like them.