Bump version number

With this quick fix applied to the stable branch, this causes a minor
point release.