Fixing a URL in the documentation