Minor changes in INSTALL.txt, NOTICE.txt and info.html