Actually, they have that wrong - you can see the correct total if you do "getinfo" from your wallet...the true amount is just over 6 million coins.