Updating: improving htmlgendecl.