Fixing a typo for bug #7794.