Fixed another small bug [skip hazardlib]
Fixed another small bug [skip hazardlib]


Former-commit-id: 0c508187231ae89beae3709527dfc4bedb58ca03 [formerly 3821fee9c18ed4a872cfceae67d8e034b5acfaad]
Former-commit-id: 15b8ad73c5d574efa01d3dec6ba381db3884b816
gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine