DOCS: We now need Puppet 3.5.1, not 3.4.2