Jafari&Jeff: Ensure syncing of allocations