Slight cleanups to progress metering (#70).