Fixed up syntax of INSTALL file