Fix cutting plane bug