fix variable renaming problem in meta-clauses reported by Andreas Stenius