A bunch of miscellaneous fixes

That's pretty tiny for uncompressed logs. Also, can we have this number in a human readable range?