More issues reported by Coverity