Aren't exit node names supposed to be unique?

[Anthony DiPierro]

It would seem to me that exit node names should be unique, in part in
order for ExcludeNodes to work.  But a recent download of the list
showed the following (just the two relevant lines):

US godzilla                3635 B/s 68.42.126.128   MICHIGAN-3
          22   53   80  110    -  143  443 5190 6667

NO godzilla               25600 B/s 80.203.228.236  NEXTGENTEL-NO
          22   53   80  110    -  143  443 5190 6667

Does this mean that these two nodes have the same owner/key/etc?  Or
is it a bug?  Or maybe something else?

Anthony