Thus, P. falcatus and P. gracilior were renamed to A. falcatus and A. gracilior.
Therefore, the species names P. falcatus and P. gracilior were replaced with A. falcatus and A. gracilior in a taxonomic update.