Some small corrections to ifygl.tex