Some fixes in nstall.txt files