Fix puppetexplorer support