Fix Coverity ID 555