INSTALL document minor change