add toString for HTMLElement type