Updated version number

I forgot to push it with the previous commit.