Fix a remnant from the merge.