fix test failures arising from new kast syntax