fix a html tingy