typo
fixing bug for kernelSRC