Not sure if this is the right place to mentioned the points below.
In starnames.dat are two stars wich do not have a reference in the stars.dat database.
96295:Campbell's Star
35488:Bernes 135
Also there's a double colon by this star after the HIPnumber:
3829::Van Maanen's Star:Van Maanen 2:Wolf 28:Gliese 35
It not really a bug, so is there perhaps any other purpose for this??
Hans.