check_html_form_hierarchy: Old code was buggy.