bump version

There was no API change, so just bump the patch number.