Typo in Kernel Test Day article?