PetPlugin: never place case objects inside a class. Closes #160.