minor modification for ga.tex