Fixed my mistaken double inclusion of kernel args