Fix for issue #73 CheckNotEquals is wrong in some situations