Fixed a typo for bug #7703.