minor adjustments in documentation