Fix a random bug