minor html fixup