[ci skip] Merge pull request #5191 from jim-parry/patch/docs

Fix some mistakes in the user guide
5 files changed