Small fix [skip hazardlib] [demos]
Small fix [skip hazardlib] [demos]


Former-commit-id: 5ac77e7d69c1daae351ec638d92c432f5b38f40f [formerly 5ac77e7d69c1daae351ec638d92c432f5b38f40f [formerly b6e5aeba9bac04dc27e5d694e013f3254ebcb2b8]]
Former-commit-id: bfa57ab8fb74b6794b93e1357fd15db46f6f1b52
Former-commit-id: 158a58419653b15495c94bdb368d31d3b7d6d330
gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine