Last tweaks before we publish 3.1.3 code in the site.