diff --git a/wpilibcExamples/src/main/cpp/examples/HAL/c/Robot.c b/wpilibcExamples/src/main/cpp/examples/HAL/c/Robot.c
index c8fc0836567..b5da9163830 100644
--- a/wpilibcExamples/src/main/cpp/examples/HAL/c/Robot.c
+++ b/wpilibcExamples/src/main/cpp/examples/HAL/c/Robot.c
@@ -16,7 +16,7 @@ that want even more control over what code runs on their robot.
 #include <stdio.h>
 
 #include <hal/HAL.h>
-#include "wpi/Synchronization.h"
+#include <wpi/Synchronization.h>
 
 enum DriverStationMode {
   DisabledMode,
diff --git a/wpiutil/src/main/native/include/wpi/Synchronization.h b/wpiutil/src/main/native/include/wpi/Synchronization.h
index 9b99209ea49..4702e859ee6 100644
--- a/wpiutil/src/main/native/include/wpi/Synchronization.h
+++ b/wpiutil/src/main/native/include/wpi/Synchronization.h
@@ -58,8 +58,7 @@ constexpr int kHandleTypeUserBase = 80;
  * @param initialState true to make the event initially in signaled state
  * @return Event handle
  */
-WPI_EventHandle MakeEvent(bool manualReset = false,
-                            bool initialState = false);
+WPI_EventHandle MakeEvent(bool manualReset = false, bool initialState = false);
 
 /**
  * Destroys an event.  Destruction wakes up any waiters.
@@ -94,7 +93,7 @@ void ResetEvent(WPI_EventHandle handle);
  * @return Semaphore handle
  */
 WPI_SemaphoreHandle MakeSemaphore(int initialCount = 0,
-                                    int maximumCount = INT_MAX);
+                                  int maximumCount = INT_MAX);
 
 /**
  * Destroys a semaphore.  Destruction wakes up any waiters.