Fixes #4101: correct reported size of database
Merge pull request #401 from ncharles/bug_4101/dev/invalid_database_size_reported

Fixes #4101: correct reported size of database