Fix bad link in documentation.