At level 10 and above, all star labels are doubled. This includes proper
names and magnitudes, as well as catalog designations. I don't know if this
has happened all along or is a new bug.

Larry

http://ldart.got.net