likely fix oligokernel bug