diff --git a/gtsam/navigation/LieGroupEKF.h b/gtsam/navigation/LieGroupEKF.h
index a5ea73fba..007ed3ad0 100644
--- a/gtsam/navigation/LieGroupEKF.h
+++ b/gtsam/navigation/LieGroupEKF.h
@@ -26,9 +26,6 @@
 
 #include <gtsam/navigation/ManifoldEKF.h> // Include the base class
 #include <gtsam/base/Lie.h> // Include for Lie group traits and operations
-// #include "gtsam/base/Matrix.h"
-#include "gtsam/base/lieProxies.h"
-
 
 #include <Eigen/Dense>
 #include <type_traits>
diff --git a/gtsam_unstable/nonlinear/FixedLagSmoother.h b/gtsam_unstable/nonlinear/FixedLagSmoother.h
index ae4fa874f..2dc8d8648 100644
--- a/gtsam_unstable/nonlinear/FixedLagSmoother.h
+++ b/gtsam_unstable/nonlinear/FixedLagSmoother.h
@@ -18,4 +18,4 @@
 #endif
 
 
-#include <gtsam/nonlinear/FixedLagSmoother.h>
+#include <gtsam/nonlinear/FixedLagSmoother.h>
\ No newline at end of file
diff --git a/python/gtsam_unstable/examples/TimeOfArrivalExample.py b/python/gtsam_unstable/examples/TimeOfArrivalExample.py
index a3f60a557..66a258491 100644
--- a/python/gtsam_unstable/examples/TimeOfArrivalExample.py
+++ b/python/gtsam_unstable/examples/TimeOfArrivalExample.py
@@ -12,8 +12,9 @@ Author: Frank Dellaert
 # pylint: disable=invalid-name, no-name-in-module
 
 from gtsam import (LevenbergMarquardtOptimizer, LevenbergMarquardtParams,
-                   NonlinearFactorGraph, Point3, Values, noiseModel, Event)
-from gtsam_unstable import TimeOfArrival, TOAFactor
+                   NonlinearFactorGraph, Point3, Values, noiseModel, Event, 
+                   TimeOfArrival)
+from gtsam_unstable import TOAFactor
 
 # units
 MS = 1e-3