new release v3.1.1, fixes #11