- fixed bad bugs in kernel interface