coverity bug 10345