Fix copy/paste error, thanks to Coverity (#1403767).