Fixed small bug [skip CI]
Fixed small bug [skip CI]


Former-commit-id: ee130a154c2171021150877885137563ecc7a54d [formerly 371e7964fb1e6b89b0cf494bac3055dc57f32996]
Former-commit-id: 81b37380dd6bee636d417d022ceb8b188846013a
gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine