minor changes in the LaTeX files