minor: coverity comments