some html fixups