Fix a stupid bug