Bug in Kernel fixed