A few changes in install documentation