Minor bug fix
Minor bug fix


Former-commit-id: 17c18432d5ba0052c0c574b551a0737bc422b260 [formerly 17c18432d5ba0052c0c574b551a0737bc422b260 [formerly 387e7ee35ab362336d11ff0b50e08a1d4fb3b08b]]
Former-commit-id: 061a556af5b7d492176157625d5aa1c972f82d8c
Former-commit-id: 72659dc112ead212a37f72dfa469c15800a2753f
gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine