Fix broken link in documentation.html