Minor mistakes in documentation

Misc.
3

I’ve made a pull request. This is my first time making PR so it’s kind of exciting, I certainly hope I didn’t break anything!