Update the version.

Fix #4 again.