Fix a stupid bug introduced when merging master with local-hs-termination-even-simpler
Fix a stupid bug introduced when merging master with local-hs-termination-even-simpler

osa1/chsc,osa1/chsc,batterseapower/chsc,osa1/chsc,batterseapower/chsc