Fix a copy/paste mistake in the previous commit.