Fix Coverity ID 589, dead code