diff --git a/README.dev b/README.dev
index 13bc6b212280e94a62e7dcaee3407e567d87df35..1318d4eb13fae008ea72364411cd5bafd61a8c32 100644
--- a/README.dev
+++ b/README.dev
@@ -63,8 +63,9 @@ To make a new release:
      Check no compiler warnings remain (with and without assertions),
         if possible with different compilers (gcc, clang, llvm-gcc, ...)
      Check "make longcheck" works with --enable-valgrind-tests.
-     Check that configure works outside the source directory.
-     Check the default tuning files */params.h (and */*/params.h, see the main
+     Check that configure works outside the source directory
+        (from the tarball).
+     Check the default tuning files */params.h (see the main
      file ecm-params.h) on different platforms with "make ecm-params"
      Compare the efficiency wrt the previous release with "./ecm 1e6 < c270"
      and "./ecmbench ./ecm".
diff --git a/ecm.c b/ecm.c
index 7411efd5ff8adf78f15bded6e3ee73f324846903..9e7b4bc639f46450975188e1b9fbcb14066447c0 100644
--- a/ecm.c
+++ b/ecm.c
@@ -2253,13 +2253,14 @@ ecm (mpz_t f, mpz_t x, mpz_t y, int param, mpz_t sigma, mpz_t n, mpz_t go,
                                 stop_asap, chkfilename);
 #ifdef HAVE_ADDLAWS
 	    else{
-		ell_point_init(PE, E, modulus);
-		mpres_set(PE->x, P.x, modulus);
-		mpres_set(PE->y, P.y, modulus);
+		ell_point_init (PE, E, modulus);
+		mpres_set (PE->x, P.x, modulus);
+		mpres_set (PE->y, P.y, modulus);
 		youpi = ecm_stage1_W (f, E, PE, modulus, B1, B1done, batch_s,
 				      go, stop_asap, chkfilename);
-		mpres_set(P.x, PE->x, modulus);
-		mpres_set(P.y, PE->y, modulus);
+		mpres_set (P.x, PE->x, modulus);
+		mpres_set (P.y, PE->y, modulus);
+                ell_point_clear (PE, E, modulus);
 	    }
 #endif
 	}