Fix a small thing