Version bump to 0.1.3, following hotfix.