updated INSTALL instructions; minor correction in README