Minor documentation cleanups. [ci skip]