Fix up the incomplete commit in r4055.