Fix a mistake in the README