diff --git a/src/main/java/de/b2tla/B2TLA.java b/src/main/java/de/b2tla/B2TLA.java
index 17a434554a32725868bf1031c9fc0b75a2814191..d8360fc44a858715cac5383d614bd292ca3d5a30 100644
--- a/src/main/java/de/b2tla/B2TLA.java
+++ b/src/main/java/de/b2tla/B2TLA.java
@@ -62,6 +62,7 @@ public class B2TLA {
 				b2tla.evalOutput(output, true);
 			} catch (NoClassDefFoundError e) {
 				System.out.println("Can not find TLC. The tla2tools must be included in the classpath.");
+				System.out.println(e.getMessage());
 			}
 
 		}