Another typo fix for bug #7342