Minor formatting fix [ci skip]