misprints installation.tex