some exptxt corrections