Fix synchronisation code