Fix simplification bug.