Fixed a few minor issues in the upgrading guide