Fix "Repeal"
Synch with other version