Kraken: small fix in raptor_api