Minor corrections in the documentation