Fixes #4101: correct reported size of database