kernel typo