Minor fix from last change.