[trivial] Minor edit [ci skip]