Desynchronisation bug again?