[cvs-nhc98] patch applied (hat): another fix for the Data.Set API saga