Minor changes on Vagrant