coverity fix (Diego)