minor fix
minor fix


Former-commit-id: dbf763ad7d8d9466565d3bb217fb9c7b065b3e11 [formerly eb36ce61561a3825cf06f82f28629bf2b7d961f0]
Former-commit-id: 197fdf5e36b44ed47ccfc4c8e00c8ce4c0f6b56d
gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine