corrected typo in INSTALL document