Synonyms and combinations
= Eleutherodactylus rosadoi Flores, 1988