Minor tweaks to installation and upgrade docs