fix simplifier