Fix a few typos in Vagrantfile