Small changes to README and INSTALL.