Hopefully now Coverity will be happy