[misc] Minor fix