MiKey 1.5.1 typo