Fixed a small issue with HTMLElement