mirandus" como "Ornithomimus mirandus", olvidando que en esos casos "Aublysodon" podría tener prioridad.