a little fix in mdash_symbol_to_html_mdash pattern