Fixed formatting issues in INSTALL