Minor documentation change. [ci skip]