Formatting: fix typos and syntax highlight source code.