Some polishing for gc.tex