diff --git a/GraphicsView/include/CGAL/Basic_shaders.h b/GraphicsView/include/CGAL/Basic_shaders.h
index 429f2b52f00..92422b0dc3a 100644
--- a/GraphicsView/include/CGAL/Basic_shaders.h
+++ b/GraphicsView/include/CGAL/Basic_shaders.h
@@ -13,6 +13,8 @@
 #ifndef CGAL_BASIC_SHADERS_H
 #define CGAL_BASIC_SHADERS_H
 
+#include <CGAL/license/GraphicsView.h>
+
 namespace CGAL
 {
 
diff --git a/GraphicsView/include/CGAL/Buffer_for_vao.h b/GraphicsView/include/CGAL/Buffer_for_vao.h
index c27e24e50c9..2be331a35f5 100644
--- a/GraphicsView/include/CGAL/Buffer_for_vao.h
+++ b/GraphicsView/include/CGAL/Buffer_for_vao.h
@@ -908,7 +908,7 @@ protected:
   bool m_zero_y; /// True iff all points have y==0
   bool m_zero_z; /// True iff all points have z==0
 
-  bool m_inverse_normal;;
+  bool m_inverse_normal;
 
   // Local variables, used when we started a new face.g
   bool m_face_started;