Fix a mistake in a spec