Fix accidental omission from prior commit