No, you ultimately did the right thing. As stressful as it is dealing with this at the airport, you only spent an hour or so. If you had discovered it a day earlier, it probably would have taken MULTIPLE hours on the phone with HA's outsourced call center. No need to spend multiple hours on the phone the day before your trip!