Fixing small issues in Vagrantfile