Kraken: comparison fix