Fix doc generation, stray unicode chars