Don't need to encode these characters in UTF-8