eliminate unused optional parameter in to_html function