updated documentation.html