diff --git a/notebooks/tests/type.ipynb b/notebooks/tests/type.ipynb
index a1f692032035f91239ffa14488e927c76270766b..7da998746306caa69f30e73063914c374687cd28 100644
--- a/notebooks/tests/type.ipynb
+++ b/notebooks/tests/type.ipynb
@@ -12,15 +12,11 @@
        ":type FORMULA\n",
        "```\n",
        "\n",
-       "Display the type of a formula.\n",
-       "\n",
-       "The returned types are *not* standard B types. They are human-readable, but cannot be used in code."
+       "Display the type of a formula."
       ],
       "text/plain": [
        ":type FORMULA\n",
-       "Display the type of a formula.\n",
-       "\n",
-       "The returned types are *not* standard B types. They are human-readable, but cannot be used in code."
+       "Display the type of a formula."
       ]
      },
      "execution_count": 1,
diff --git a/src/main/java/de/prob2/jupyter/commands/TypeCommand.java b/src/main/java/de/prob2/jupyter/commands/TypeCommand.java
index c90318988850f5ce8f8ff2665f630ea47891d1fd..4a444af9564a4a83da7ae99bdd6e327f14e2dc32 100644
--- a/src/main/java/de/prob2/jupyter/commands/TypeCommand.java
+++ b/src/main/java/de/prob2/jupyter/commands/TypeCommand.java
@@ -41,7 +41,7 @@ public final class TypeCommand implements Command {
 	
 	@Override
 	public @NotNull String getHelpBody() {
-		return "The returned types are *not* standard B types. They are human-readable, but cannot be used in code.";
+		return "";
 	}
 	
 	@Override