Add length field to HTMLCollection returned by getElementsByTagName