diff --git a/drivers/VirtualWatchdog.h b/drivers/VirtualWatchdog.h
index fbcb3c9a3e..a087836f19 100644
--- a/drivers/VirtualWatchdog.h
+++ b/drivers/VirtualWatchdog.h
@@ -88,7 +88,7 @@ public:
      */
     void kick();
 
-protected :
+protected:
 
     /** Use add_to_list to store the registered user in the list.
       * This API is only used to call from start.