Merge branch 'release/0.1.3'
Merge branch 'master' into develop

I don't know why git flow doesn't do this for us