Junior synonyms:
P. cunicularius brevispinus