Get encoding right.

(see #182 and #177)
Poor Johan tried to solve the problem by using Notepad++ instead of
Eclipse, but still, the file was latin-1 instead of utf-8. I guess I
should be glad that I'm no longer using Windows…