Minor fixes for the release.