Oops, fix mistake in third-to-last commit.