minor enhancement
minor enhancement


Former-commit-id: da19ebfa5348c794f27a0b3b087c9fb9e5d50a1f [formerly da19ebfa5348c794f27a0b3b087c9fb9e5d50a1f [formerly 91f07d5e6c883493d49a8f83dc38b6baede88149]]
Former-commit-id: 7e08b69294bd72f39215fec579ca08a17a63462f
Former-commit-id: 3d2bab0edaa818866b04bcbb8897ca163e5c6ab9
gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine