Changed encoding of hello_world.md