Minor fix in the kernel shutdown proc