diff --git a/src/math/bigfix/LowStar_Endianess.h b/src/math/bigfix/LowStar_Endianness.h
similarity index 100%
rename from src/math/bigfix/LowStar_Endianess.h
rename to src/math/bigfix/LowStar_Endianness.h
diff --git a/src/math/bigfix/types.h b/src/math/bigfix/types.h
index 67fd5b1bb..2eb51b39e 100644
--- a/src/math/bigfix/types.h
+++ b/src/math/bigfix/types.h
@@ -50,7 +50,7 @@ typedef struct FStar_UInt128_uint128_s {
  * latter is for internal use. */
 typedef FStar_UInt128_uint128 FStar_UInt128_t, uint128_t;
 
-#include "math/bigfix/LowStar_Endianess.h"
+#include "math/bigfix/LowStar_Endianness.h"
 
 #endif