restored omitted sentence

needed for what follows