slight tex file changes