Minor fix

oops