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