Some minor documentation updates. [ci skip]