Fixed a mistake in the repository name.