diff --git a/src/main/java/de/prob2/jupyter/ProBKernel.java b/src/main/java/de/prob2/jupyter/ProBKernel.java
index bcff44af8b4bb9c35ddf8d36fde3bc95cae8c45d..768148d0cefad5f361f299950cc32a505229e2b3 100644
--- a/src/main/java/de/prob2/jupyter/ProBKernel.java
+++ b/src/main/java/de/prob2/jupyter/ProBKernel.java
@@ -486,7 +486,8 @@ public final class ProBKernel extends BaseKernel {
 	
 	@Override
 	public @NotNull String getBanner() {
-		return "ProB Interactive Expression and Predicate Evaluator (on Jupyter)\nType \":help\" for more information.";
+		final String version = String.format("Version %s (%s)", getVersion(), getCommit());
+		return "ProB Interactive Expression and Predicate Evaluator (on Jupyter)\n" + version + "\nType \":help\" for a list of commands, \":version\" for full version information.";
 	}
 	
 	@Override