This is a hot fix release to fix two problems with the recent 3.1.3 version. See the release notes for details.