Coverity detected a copy-paste error.