Fixing another coverity issue