Minor kernel space fix.