Fixed a few errors in the vagrant config