minor refinements in documentation