Fixed some details in install docs.