Oops, fix small mistake in last commit.