La especie se conoció generalmente bajo el nombre de "P. catodon", hasta que en 1974 Husson y Holthuis propusieron que el nombre correcto debería ser "P. macrocephalus", basándose en que ambos nombres eran sinónimos publicados simultáneamente y, por lo tanto, debía aplicarse el «principio del primer revisor» del Código Internacional de Nomenclatura Zoológica, una opinión reiterada por Holthuis en 1987.