Yeah, that's what I always thought, too. Don't forget that he's always credited in the original movies as Ben (Obi-Wan) Kenobi with the Obi-Wan part in parentheses, which almost confirms that it's not actually his real name but a nickname. I remember the first time I ever saw it flipped was on the new OT action figures that came out in '98 or '99 right before the prequels. They had those interesting flap cards that when you pulled the tab, it changed from the OT representation of the character to the PT representation. And on his, he was referred to as Obi-Wan (Ben) Kenobi, which is something I'd never seen before. I guess that was because Lucas had changed his mind at that time, but it made much more sense the other way.