fixups for html