Fix for coverity