Are Pettigrew's two modules for EPT?