changed some minor steps in /tex/