further language tweaks, and accounting for corrections of files