Fixing kernel 3