Minor documentation fix. [ci skip]