Tweak for bug #7714.
Changed the version to alpha9