minor updates to INSTALL documentation