Minor adjustments to documentation