doc: Fix file encoding