Fixing Vagrantfile documentation