Merge branch 'release-0.1.3' into dev-0.1.3
minor: checkpoint added, protecting past transactions.
Merge branch 'dev-0.1.3' into release-0.1.3