Small corrections in the documentation