bugfix in transition from VMC to DMC with deadlock