Correct some thinks for my kernel