after much debate, it turns out that != is not the same as == ... go figure :-)