Fix install.txt