Minor changes to INSTALL doc

Hope this is useful