enhancements to the HTML processing