Kraken: add a nice exception message