minor fixes

a few changes to the html pages