"Diplodon websteri" es un sinónimo de "Cucumerunio websteri".