Fix a mistake in a docs link