fixed the problem with the simplifier