Fix minor bug in ProgressManager