20121218: fix typo and a markup error