Minor cosmetic fix [ci skip]