Fixes mistakes in the documentation.
[ci skip]