Corrected errors in INSTALL