Fixed a bug discovered by Mabe
Fixed a bug discovered by Mabe


Former-commit-id: e61b3dc7202b844bc7f8f3ca38eb26bb8642c25b [formerly 54215710c20a1878c31754829cd3e162015e750a]
Former-commit-id: 36f279df2ca930f2479bb1c61d0ee1db07e81f55
gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine