fix typo and doc highlighting