Minor fix from accidental commit