fix for https://github.com/dmwm/CRAB2/issues/932
Merge pull request #935 from belforte/master

fix for https://github.com/dmwm/CRAB2/issues/932