Minor addition to INSTALL files.