Fix a stupid mistake in previous commit