Declare progress
Declare progress
Merge branch 'release-0.7.2' into dev
Merge branch 'release-0.7.2' into dev
Fix typo in UT
Merge pull request #945 from andrerod/dev

Fix typo in UT