Bump version number again as tag for 1.3.1 seems to already exist...