fix silly mistake in previous commit