fix a dumb mistake in the previous commit.