HS.dtx minor change