hsem: some updates