Fix in weakening of TRefs