Release version 3.1.1

Release the bug fix in #43.