Fix some small mistakes in the documentation