recent changes certainly deserve a new version number.