Fixed INSTALL documentation