Minor fix in a calling the kernel script from main