Fixing a bad link in the docs