bugfixes in kernelize