Fix html-markdown-oops-ism.