diff --git a/src/nmod_vec/profile/p-dot.c b/src/nmod_vec/profile/p-dot.c
index 97f9aa0979..7b782a1f06 100644
--- a/src/nmod_vec/profile/p-dot.c
+++ b/src/nmod_vec/profile/p-dot.c
@@ -9,15 +9,15 @@
(at your option) any later version. See .
*/
-#include
+#include
#include // for atoi
-#include
-#include
-#include
-#include
-#include
-#include
+#include "profiler.h"
+#include "nmod.h"
+#include "nmod_vec.h"
+#include "nmod_mat.h"
+#include "nmod_poly.h"
+#include "gr_poly.h"
// utility (nmod vec uniform random)
static inline