fixed race condition for RunML