[Bug #8259] Typo fixed.