Fix a dead loop in async_synchronize_full()