Repair a debug bug.