fix a mistake in earlier commit