small fixup for the puppet file