fix error detected by coverity
fix error detected by coverity