Minor Coverity tweaks