tweaks export_html