Reverted file encoding back to UTF-8.

See my comment in #78.