fixes in server/installation/upgrading-to-new-version