Final versions for the 0.9.7 release.