Fix an unprotected DEBUG

Marco Cattaneorequested to merge
cherry-pick-a9a88038-2 into 2018-patches

See merge request !2374 (merged)

(cherry picked from commit a9a88038)

Edited by Marco Cattaneo

Merge request reports