Minor fix [ci skip]