changing the release number and other minors