Fix a bad bug