fix(library/standard/kernel.lean): fix typo