small fix in kernel