Fix documentation in Vagrantfile