Fix for Coverity defect 1219940.