BUG: error in vagrantfile