tweaks to html generator