oops, fix a mistake in the last commit