JavaScript errors

Hello,

 

I want to report 2 bugs:

1. On page http://www.w3.org/RDF/Validator/ I try to click "Clear the
textarea" button and receive JS error: 

 

Error: document.myform_direct has no properties

Source File: http://www.w3.org/RDF/Validator/

 

2. On page http://www.w3.org/RDF/Validator/ I try to click "Clear the URI"
button and receive JS error: 

 

Error: document.myform_uri has no properties

Source File: http://www.w3.org/RDF/Validator/

 

Regards,

 

Dimitar