fix to file_encoding property