Nudge: bump version number for release