fix cut-paste error (Coverity)