G.O. Sars (1894, p. 596) changed the name to P. pusillus "to avoid confusion with Ischyrocerus minutus Lilljeb., in ... [details]