add info to HTML output to better support round-tripping