Amerigo Vespucci didn't discover North or South America, either. Most asteroids that are named after people weren't discovered by those people. I really don't see how this is a big deal. Names are just labels.