Corrections on the Vagrantfile