fix an issue of tagging solutions
Merge branch 'hotfix/0.7.2'