Docs: fix misc errors introduced recently