Minor updates to Vagrant config file