minor edit to remove unwanted character in html