Merge branch 'release-0.1.3' into dev-0.1.3
minor: 346805 checkpoint
Merge branch 'dev-0.1.3' into release-0.1.3