Docs: Correct a few minor mistakes