Correct Puppetfile