Bump version following bugfix.
This tag has no release notes.