Fixing the file encoding