[cvs-nhc98] patch applied (hat): Fixed a bug in my last bug fix concerning deriving clauses.