Final tidies for 8.35 release.