Fix a minor omission