issue #2397: Typo fix.