Minor fix

/