Fixed encoding of a couple of source files