Small corrections in documentation