Fix a couple of Unicode characters