Error fix for Vagrantfile