minor enhancement
minor enhancement


Former-commit-id: 0297a190a52f04aa2cb0b4d4b74950e0b8cafa7f [formerly 0297a190a52f04aa2cb0b4d4b74950e0b8cafa7f [formerly f7973c51434ec8093a2c317fab7103c2f2897f91]]
Former-commit-id: 2d299a7b537892357d110a68dbbd405131a17e21
Former-commit-id: b27a35cc941c9da71f752e78b9d9a625ca999382
gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine