Added doc for HTMLElement