Minor adjustments in the documentation