Fix a minor unicode error