Don't print progress after we're done
Merge branch 'master' into shrikhande