diff --git a/base/src/main/java/org/arend/module/serialization/ModuleDeserialization.java b/base/src/main/java/org/arend/module/serialization/ModuleDeserialization.java
index ced81a1b1..b7c7a8f97 100644
--- a/base/src/main/java/org/arend/module/serialization/ModuleDeserialization.java
+++ b/base/src/main/java/org/arend/module/serialization/ModuleDeserialization.java
@@ -45,7 +45,7 @@ public ModuleProtos.Module getModuleProto() {
 
   public void readModule(ModuleScopeProvider moduleScopeProvider, DependencyListener dependencyListener) throws DeserializationException {
     if (myModuleProto.getVersion() != ModuleSerialization.VERSION) {
-      throw new DeserializationException("Version mismatch");
+      throw new DeserializationException("Version mismatch:\nLanguage version: " + ModuleSerialization.VERSION + "\nLibrary binaries version: " + myModuleProto.getVersion());
     }
 
     for (ModuleProtos.ModuleCallTargets moduleCallTargets : myModuleProto.getModuleCallTargetsList()) {