Fix the formatting of mnemonics in the README