Fixes type in Vagrantfile