PetPlugin: whitespace fix.