Installation documentation tweaks