Fixed the installation docs a bit.