encodeUtf8 is fine