Bump version number given the recent fix.