That's exactly what happened. It was actually confusing for people since different people on the same project were referring to Basecamp with different names. That's one of the reasons we migrated everyone to basecamphq.com and now, basecamp.com on the new accounts.