Rsync to a Vagrant machine

I ran into the situation where my remote machine booted up, but for some reason I could not ssh directly to it through simple ssh, only through vagrant.

Here is how I rsync'ed files to it

rsync -av -e "vagrant ssh machinename --" ~/Sources/ :~/Sources/

Note that we do not put the machine name in its normal place.