Touching up Vagrantfile