fix error in kernel