Upgrade to SPIN 1.3.1