fix objectinspector bugs with SetDifference