documentation.html updated