Minor update to vagrantfile