Whitespace fixes.
Bugfix: erroneously assumed that the maximum docid would be less than the number of documents in the backup.