fix tag name bugs which cause editor to malfunction in eliom env