Corrections to leveldb 1.10.0's report.py. Doesn't actually change the output, but making it correct anyway.