detComp mutex order correction