Revise and correct Vagrantfile