Small improvement [dump]
Small improvement [dump]


Former-commit-id: 3fb994d4a8ccc66fd6878bb89e79f8bbf856d4a4 [formerly 3fb994d4a8ccc66fd6878bb89e79f8bbf856d4a4 [formerly 9c23b44e83afde3dedb3839ba31f7aa6778b8d0f]]
Former-commit-id: 9c7aebd37f451ebb23b22703be14c60747aaad46
Former-commit-id: 6b9c8ed8811c0dca387058f151d8b2e007a06e42
gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine