Comment by jlgaddis

As others have mentioned:

    $ sudo apt-get update && sudo apt-get upgrade

In this particular case, from 7.1 to 7.3, "dist-upgrade" is not needed (you aren't upgrading from one distribution to another (e.g. from 6 to 7)).