You are probably correct in that the real reason for the discrepancy is that the number 11,000 was invented before the maps were, and we can imagine the Imperial Propaganda Bureau likes the number 11,000 and computerization in the Imperium isn't at the level where people can easily count for themselves. I never imagined a highly computerized Imperium, incidentally. It just doesn't seem to fit.