minor enhancement
minor enhancement


Former-commit-id: 6ed3c881d0a08ffc3f42dfe4f40cd5dcef235412 [formerly 0e9ec76a584956146dd923bcbe238ccb166c31b1]
Former-commit-id: 1ff4967e69ce0e83023fcc17ae7c5ae4cea9dc7a
gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine