fix type in Vagrantfile