diff --git a/packages/circuits/tests/fp-mul.test.ts b/packages/circuits/tests/fp-mul.test.ts
index 6059b92f..d07f1e1a 100644
--- a/packages/circuits/tests/fp-mul.test.ts
+++ b/packages/circuits/tests/fp-mul.test.ts
@@ -20,7 +20,7 @@ describe('FpMul', () => {
         circuit2 = await wasm_tester(
             path.join(
                 __dirname,
-                './test-circuits/fp-mul-test2.circom'
+                './test-circuits/fp-mul-test-range-check.circom'
             ),
             {
                 recompile: true,
diff --git a/packages/circuits/tests/test-circuits/fp-mul-test2.circom b/packages/circuits/tests/test-circuits/fp-mul-test-range-check.circom
similarity index 86%
rename from packages/circuits/tests/test-circuits/fp-mul-test2.circom
rename to packages/circuits/tests/test-circuits/fp-mul-test-range-check.circom
index 04040c0e..bd53ddbe 100644
--- a/packages/circuits/tests/test-circuits/fp-mul-test2.circom
+++ b/packages/circuits/tests/test-circuits/fp-mul-test-range-check.circom
@@ -8,13 +8,15 @@ include "../../lib/bigint.circom";
 include "../../lib/bigint-func.circom";
 
 
-/// @title FpMul
-/// @notice Multiple two numbers in Fp
+/// @title FpMul_TestRangeCheck
+/// @notice Multiple two numbers in Fp, where q and r are also provided as inputs only for test purposes
 /// @param a Input 1 to FpMul; assumes to consist of `k` chunks, each of which must fit in `n` bits
 /// @param b Input 2 to FpMul; assumes to consist of `k` chunks, each of which must fit in `n` bits
 /// @param p The modulus; assumes to consist of `k` chunks, each of which must fit in `n` bits
+/// @param q The quotient; assumes to consist of `k` chunks, each of which must fit in `n` bits
+/// @param r The remainder; assumes to consist of `k` chunks, each of which must fit in `n` bits
 /// @output out The result of the FpMul
-template FpMul(n, k) {
+template FpMul_TestRangeCheck(n, k) {
     assert(n + n + log_ceil(k) + 2 <= 252);
 
     signal input a[k];