fixed typo in tools.tex