Documentation correction. [ci skip]