find_not_equal bug: was not using .equals()

!!! untested