Fixes to issues identified by Coverity.

I don't understand why they should not be initialized, then.