fix auto_html redcloth filter