Are you sure its not a 20GB hdd? That space alocation would be correct if it was. Often the model number on the hdd will cary an extra zero with the size.. For instance, I have a 120GB WD hdd and the model # is WD1200JB.
Edit: Very glad to see that I'm wrong on this one..