Update boilerplate.tex