diff --git a/FHEOffline/Proof.cpp b/FHEOffline/Proof.cpp
index 33061b1fd..11f010538 100644
--- a/FHEOffline/Proof.cpp
+++ b/FHEOffline/Proof.cpp
@@ -180,6 +180,6 @@ void Proof::Preimages::check_sizes()
     throw runtime_error("preimage sizes don't match");
 }
 
-template bool Proof::check_bounds(AddableVector<fixint<2>>& z, AddableMatrix<fixint<0>>& t, int i) const;
-template bool Proof::check_bounds(AddableVector<fixint<2>>& z, AddableMatrix<fixint<1>>& t, int i) const;
-template bool Proof::check_bounds(AddableVector<fixint<2>>& z, AddableMatrix<fixint<2>>& t, int i) const;
+template bool Proof::check_bounds(AddableVector<fixint<GFP_MOD_SZ>>& z, AddableMatrix<fixint<0>>& t, int i) const;
+template bool Proof::check_bounds(AddableVector<fixint<GFP_MOD_SZ>>& z, AddableMatrix<fixint<1>>& t, int i) const;
+template bool Proof::check_bounds(AddableVector<fixint<GFP_MOD_SZ>>& z, AddableMatrix<fixint<2>>& t, int i) const;
diff --git a/FHEOffline/Verifier.cpp b/FHEOffline/Verifier.cpp
index 454b64ffb..fbea0c725 100644
--- a/FHEOffline/Verifier.cpp
+++ b/FHEOffline/Verifier.cpp
@@ -114,5 +114,5 @@ void Verifier<FD,S>::NIZKPoK(AddableVector<Ciphertext>& c,
 }
 
 
-template class Verifier<FFT_Data, fixint<2>>;
-template class Verifier<P2Data, fixint<2>>;
+template class Verifier<FFT_Data, fixint<GFP_MOD_SZ>>;
+template class Verifier<P2Data, fixint<GFP_MOD_SZ>>;
diff --git a/Tools/random.cpp b/Tools/random.cpp
index a231fb99b..12244b344 100644
--- a/Tools/random.cpp
+++ b/Tools/random.cpp
@@ -243,7 +243,7 @@ void PRNG::randomBnd(bigint& x, const bigint& B, bool positive)
 }
 
 template<>
-void PRNG::randomBnd(fixint<2>& x, const bigint& B, bool positive)
+void PRNG::randomBnd(fixint<GFP_MOD_SZ>& x, const bigint& B, bool positive)
 {
   randomBnd(bigint::tmp, B, positive);
   x = bigint::tmp;
@@ -288,7 +288,7 @@ void PRNG::get(fixint<0>& res, int n_bits, bool positive)
 }
 
 template<>
-void PRNG::get(fixint<2>& res, int n_bits, bool positive)
+void PRNG::get(fixint<GFP_MOD_SZ>& res, int n_bits, bool positive)
 {
   get(bigint::tmp, n_bits, positive);
   res = bigint::tmp;