Fix a desync bug