Minor fix. [ci skip]