Two ports with name libgda

Hey guys, Investigating a discrepancy between port count numbers between PortIndex and db.macports.org, I see that we have two ports with the same name: The ports with file names libgda and libgda3 both carry port name libgda. I assume libgda3 should be named libgda3? James