diff --git a/src/ui/android/src/org/grammaticalframework/ui/android/Translator.java b/src/ui/android/src/org/grammaticalframework/ui/android/Translator.java
index e6d5362f3..13b224b5b 100644
--- a/src/ui/android/src/org/grammaticalframework/ui/android/Translator.java
+++ b/src/ui/android/src/org/grammaticalframework/ui/android/Translator.java
@@ -379,7 +379,7 @@ public class Translator {
 		if (targetLang.hasLinearization(lemma) && 
 		    targetLang.hasLinearization("Inflection"+cat)) {
 			if (def == null)
-				def = new Expr("NoDefinition");
+				def = Expr.readExpr("NoDefinition");
 
 			Expr e = new Expr("MkDocument", 
 			                  def,