make puppetlint happy