Tweak VAGRANT.md