fix an obvious omission...