Another typo fix for bug #7342.
Changed the version to alpha12