Finishing INSTALL doc