remove old debugging string in HTML