minor fix
minor fix


Former-commit-id: 44651c82854e840cdaa592ec814ca1c34413b577 [formerly 1609110dfa750067839225031fd8d8265074bf1f]
Former-commit-id: 744ed2ef39c4feba7022da216f248cb327d45657
gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine