Bump version to 1.3.1 for bugfix release (#9)