diff --git a/convex-gui/src/main/java/convex/gui/manager/windows/peer/REPLPanel.java b/convex-gui/src/main/java/convex/gui/manager/windows/peer/REPLPanel.java
index 9de82779d..8d39479af 100644
--- a/convex-gui/src/main/java/convex/gui/manager/windows/peer/REPLPanel.java
+++ b/convex-gui/src/main/java/convex/gui/manager/windows/peer/REPLPanel.java
@@ -96,7 +96,8 @@ protected void handleResult(Result r) {
 	}
 
 	protected void handleResult(ACell m) {
-		String resultString=RT.print(m,10000).toString();
+		AString s=RT.print(m);
+		String resultString=(s==null)?"Print limit exceeded!":s.toString();
 		int start=outputArea.getDocument().getLength();
 		addOutput(outputArea," => " + resultString + "\n");
 		int end=outputArea.getDocument().getLength();