Fixing a few misnamed items in Vagrant file and Puppet manifests