Changes to header file compatible with Kraken