Fixing Pro Puppet-related typos