minor modification to Vagrantfile to unify style