fix a mistake in a previous commit