Final tweak to html generator.