Fix a silly bug