Initialize these to make Coverity happy