Minor doc fix [ci skip]