Revert version number.

I forgot to merge a few pull requests before releasing.