Fix mistake in last patch.