GlobalNameIndex: remove a duplicate entry

Spotted by Mitchell Rosen