another minor fix
another minor fix


Former-commit-id: bf92918e56eb75f46a2a90c0172de3da342b4ed9 [formerly bf92918e56eb75f46a2a90c0172de3da342b4ed9 [formerly b15cda1bf34442233d35379117c00527f7530bb4]]
Former-commit-id: 78214346ab9816eefd509506e733b9e7dc1fdc92
Former-commit-id: ea61662f57270b66846ce3a5cf7a1f49d7779a07
gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine