Fix a mistake I introduced during merging.