Some minor documentation updates