* INSTALL: Minor textual changes.