diff --git a/src/mmt-api/resources/versioning/system.txt b/src/mmt-api/resources/versioning/system.txt
index c9277c5a60..95c4e8d271 100644
--- a/src/mmt-api/resources/versioning/system.txt
+++ b/src/mmt-api/resources/versioning/system.txt
@@ -1 +1 @@
-9.0.0
\ No newline at end of file
+10.0.0
\ No newline at end of file
diff --git a/src/mmt-api/src/main/info/kwarc/mmt/api/frontend/actions/ActionHandling.scala b/src/mmt-api/src/main/info/kwarc/mmt/api/frontend/actions/ActionHandling.scala
index 2bed15a0b4..44f174fa42 100644
--- a/src/mmt-api/src/main/info/kwarc/mmt/api/frontend/actions/ActionHandling.scala
+++ b/src/mmt-api/src/main/info/kwarc/mmt/api/frontend/actions/ActionHandling.scala
@@ -8,7 +8,6 @@ import objects._
 
 /**
   * An auxilary class to split the [[Controller]] into several files and implement the handling of [[Action]]s.
-  *
   */
 trait ActionHandling extends 
   ArchiveActionHandling with