small mistake in previous commit