#9258: fix copy-paste errors.
1 file changed