Fix Trac #4345: simplifier bug