added trivial _repr_html_