Re #8882. Fix error - should be == not !=.