Minor fix of non-ASCII character.