Bug fix release: 3.1.3