use html_defuse on html output; delete spurious line