Doc: fix typos

Guillaume Claret requested to merge guillaume-claret@fix-some-typos-michelson-guide into master May 26, 2022