diff --git a/3rdparty/everest/CMakeLists.txt b/3rdparty/everest/CMakeLists.txt
index ede0e8313..c7749d8cb 100644
--- a/3rdparty/everest/CMakeLists.txt
+++ b/3rdparty/everest/CMakeLists.txt
@@ -4,7 +4,7 @@ list (APPEND everest_def)
 
 set(everest_src
   ${CMAKE_CURRENT_SOURCE_DIR}/library/everest.c
-  ${CMAKE_CURRENT_SOURCE_DIR}/library/x25519.c  
+  ${CMAKE_CURRENT_SOURCE_DIR}/library/x25519.c
   ${CMAKE_CURRENT_SOURCE_DIR}/library/Hacl_Curve25519_joined.c
 )
 
diff --git a/3rdparty/everest/library/Hacl_Curve25519_joined.c b/3rdparty/everest/library/Hacl_Curve25519_joined.c
index 8a764bbf2..18b32d200 100644
--- a/3rdparty/everest/library/Hacl_Curve25519_joined.c
+++ b/3rdparty/everest/library/Hacl_Curve25519_joined.c
@@ -41,4 +41,5 @@
 
 #include "kremlib/FStar_UInt64_FStar_UInt32_FStar_UInt16_FStar_UInt8.c"
 
-#endif /* defined(MBEDTLS_ECDH_VARIANT_EVEREST_ENABLED) */
\ No newline at end of file
+#endif /* defined(MBEDTLS_ECDH_VARIANT_EVEREST_ENABLED) */
+
diff --git a/programs/test/benchmark.c b/programs/test/benchmark.c
index fc84f5756..74fcaa673 100644
--- a/programs/test/benchmark.c
+++ b/programs/test/benchmark.c
@@ -1021,12 +1021,12 @@ int main( int argc, char *argv[] )
                 continue;
 
             mbedtls_ecdh_init( &ecdh_srv );
-            mbedtls_ecdh_init( &ecdh_cli );            
+            mbedtls_ecdh_init( &ecdh_cli );
 
             mbedtls_snprintf( title, sizeof( title ), "ECDHE-%s", curve_info->name );
             TIME_PUBLIC( title, "full handshake",
                 const unsigned char * p_srv = buf_srv;
-                
+
                 CHECK_AND_CONTINUE( mbedtls_ecdh_setup( &ecdh_srv, curve_info->grp_id ) );
                 CHECK_AND_CONTINUE( mbedtls_ecdh_make_params( &ecdh_srv, &olen, buf_srv, sizeof( buf_srv ), myrand, NULL ) );
 
@@ -1038,7 +1038,7 @@ int main( int argc, char *argv[] )
 
                 CHECK_AND_CONTINUE( mbedtls_ecdh_calc_secret( &ecdh_cli, &olen, buf_cli, sizeof( buf_cli ), myrand, NULL ) );
                 mbedtls_ecdh_free( &ecdh_cli );
-                
+
                 mbedtls_ecdh_free( &ecdh_srv );
             );