Minor fixes to Vagrantfile