Minor modification in vagrantfile.