more minor documentation updates