Fix minor bug in ProgressManager
Merge pull request #139 from DenisKnoepfle/master

Fix minor bug in ProgressManager