fix errors detected by Coverity Scan