From editor or global species database
Editor's comment Assumed to be an error arising from copying the spelling of several earlier authors as P. mülleri with the diacritic, which, if of German origin, automatically becomes 'muelleri', not 'mulleri'. [details]