Fix a copy&paste error, found by a Coverity Scan