[FIX] correct handling of operator==