minor update in INSTALL copyright notice