Fix a Gendarme critical defect