3.1.3-hotfix

Maintenance release.