Version 1.3.1; tweaked upgrade procedure