Fix typo in Kernel::exec options