Compilation: fix typos.