Finally got to the bottom of the Gendarme bug.