Fixing a synchronisation problem