README and INSTALL small fix