Update version number

Omitted from last commit.