doc: Simple style fix [ci skip]