Minor changes in documentation.html