fix mistake in previous commit