One more useless push

Fixing file encoding problems