Better install doc (hopefully).