minor fix in HazardCtrl