Aunque esto es incorrecto según los estándares actuales, este último nombre se convirtió en un "olvidado" ("nomen oblitum").