Minor tweak with kernel again...
Minor issue found in debug... again