Minor tweak to HTML generated so it displays version number too.