additional fixes in Simplify and Cut