isolate kernel code
minor change