Null-initialization of pointers to declutter Coverity