edit leader.tex