Minor doc tweak to install doc