-- quick fix for kernel test