Fix for Coverity #10278