Fixes kernel style coding