fixed small mistakes in the documentation