INSTALL: Minor improvements.