Fix bad link in Documentation.html