Fix possible compilation error