Fix version numbers and push.