You're right. What I meant was that doing your regular system updates is enough to upgrade from 7.1 to 7.3, there's nothing special you need to do on top of that.