Fix encoding

Fix encoding of source file to utf-8