Fixed todo in giraf.tex