Index: sources/gui/GuiView.h
===================================================================
diff -u -r00d9bb06ec2bad14f6dc2db678b750c244f694ef -rc503f43840024e18650c1ac558448dd0f3b70427
--- sources/gui/GuiView.h	(.../GuiView.h)	(revision 00d9bb06ec2bad14f6dc2db678b750c244f694ef)
+++ sources/gui/GuiView.h	(.../GuiView.h)	(revision c503f43840024e18650c1ac558448dd0f3b70427)
@@ -5,7 +5,7 @@
  * THIS CODE MAY NOT BE COPIED OR REPRODUCED IN ANY FORM, IN PART OR IN
  * WHOLE, WITHOUT THE EXPLICIT PERMISSION OF THE COPYRIGHT OWNER.
  *
- * \file guiview.h
+ * \file GuiView.h
  * \author (last) Peter Lucia
  * \date (last) 29-Jun-2020
  * \author (original) Behrouz NematiPour
@@ -34,8 +34,8 @@
 
     // coco begin validated: This needs user interaction to plug-in/out SD Card
     // has been tested manually
-    PROPERTY(bool, sdIsReady   , false);
-    PROPERTY(bool, sdIsReadOnly, false);
+    PROPERTY(bool, sdIsReady   , false)
+    PROPERTY(bool, sdIsReadOnly, false)
     // coco end
 
 public: