issue #2790: A typo fix.