1 files changed, 2 insertions, 3 deletions
diff --git a/src/gui/widgets/tabs/tab.h b/src/gui/widgets/tabs/tab.h
index ded1e6709..d999c8fe5 100644
--- a/src/gui/widgets/tabs/tab.h
+++ b/src/gui/widgets/tabs/tab.h
@@ -208,8 +208,7 @@ class Tab notfinal : public BasicContainer,
         virtual void setCurrent()
         { }
 
-        Label* mLabel;
-
+        Label* mLabel A_NONNULLPOINTER;
 
         TabbedArea* mTabbedArea;
 
@@ -232,7 +231,7 @@ class Tab notfinal : public BasicContainer,
         const Color *mPlayerFlashColor;
         const Color *mPlayerFlashOutlineColor;
         int mFlash;
-        ImageCollection *mVertexes;
+        ImageCollection *mVertexes A_NONNULLPOINTER;
         Image *mImage;
         int mMode;
         int mLabelMode;