small fixes to UPGRADING