Added support for the != operator