minor changes in kernel