[bugfix] NULL initialization of a non-pointer