Fix a typo in Vagrantfile