Fix stupid mistake in previous commit.