Installation docs tweak