diff --git a/src/math/bigfix/types.h b/src/math/bigfix/types.h
index 2eb51b39e..67fd5b1bb 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_Endianness.h"
+#include "math/bigfix/LowStar_Endianess.h"
 
 #endif