Fix a warning issued by PatchWork.