fix library.tex