Fixes some small mistakes in the documentation.