diff --git a/src/fr/inrialpes/exmo/align/impl/eval/WeightedPREvaluator.java b/src/fr/inrialpes/exmo/align/impl/eval/WeightedPREvaluator.java
index 970cf28240b758970d98b27e7bed145b19c63e2b..0eb2e593fdb60a5a19c8890d2efa51899e3978b1 100644
--- a/src/fr/inrialpes/exmo/align/impl/eval/WeightedPREvaluator.java
+++ b/src/fr/inrialpes/exmo/align/impl/eval/WeightedPREvaluator.java
@@ -149,9 +149,11 @@ public class WeightedPREvaluator extends BasicEvaluator implements Evaluator {
     }
 
     protected double computeDerived() {
-	fmeasure = 2 * precision * recall / (precision + recall);
-	overall = recall * (2 - (1 / precision));
-	result = recall / precision;
+	if ( precision != 0. ) {
+	    fmeasure = 2 * precision * recall / (precision + recall);
+	    overall = recall * (2 - (1 / precision));
+	    result = recall / precision;
+	} else { result = 0.; }
 	String timeExt = align2.getExtension( Namespace.ALIGNMENT.uri, Annotations.TIME );
 	if ( timeExt != null ) time = Long.parseLong(timeExt);
 	//System.err.println(">>>> " + nbcorrect + " : " + nbfound + " : " + nbexpected);