diff --git a/src/tgbaalgos/emptiness_stats.hh b/src/tgbaalgos/emptiness_stats.hh
index 42b28fc9e..b6d48f7ec 100644
--- a/src/tgbaalgos/emptiness_stats.hh
+++ b/src/tgbaalgos/emptiness_stats.hh
@@ -142,4 +142,4 @@ namespace spot
   /// @}
 }
 
-#endif // SPOT_TGBAALGOS_EMPTINESS_STATS_
\ No newline at end of file
+#endif // SPOT_TGBAALGOS_EMPTINESS_STATS_HH