Repair compilation error.