Fix an unintended omission