file encoding bug