Fix a stupid omission