Fixed deoptimizer bug