Fix a silly omission.