Minor improvements to ProgressReporter