Coverity 1134037