Update hs-example (forgot it in the previous commit)