minor documentation updates