Docs: fix some bad chars