issue #2170:  A typo fix.