Coverity CID 1444952: Null pointer dereferences