Update version, adjust bug fix number
Merge branch 'release/v1.3.1' into develop