Improve INSTALL a little.