Updating documentation.html