cleaned up kernel