Is this encoding correctly in the file?