small documentation updates