Update version number

(whoops, more than one place to update version number)