new version number to reflect minor bugfixes.