Minor doc nit. [ci skip]