here are the term corrections w/out tilde files