One more place to fix for bug #8225.