Changed the encoding of the file documentation