diff --git a/mod-tool/src/main/scala/at/forsyte/apalache/tla/tooling/opt/CheckCmd.scala b/mod-tool/src/main/scala/at/forsyte/apalache/tla/tooling/opt/CheckCmd.scala
index a6d101802e..f7ce9f17db 100644
--- a/mod-tool/src/main/scala/at/forsyte/apalache/tla/tooling/opt/CheckCmd.scala
+++ b/mod-tool/src/main/scala/at/forsyte/apalache/tla/tooling/opt/CheckCmd.scala
@@ -13,22 +13,22 @@ import java.io.{File, FileNotFoundException}
 import scala.jdk.CollectionConverters._
 
 /**
-  * This command initiates the 'check' command line.
-  *
-  * @author
-  * Igor Konnov
-  */
+ * This command initiates the 'check' command line.
+ *
+ * @author
+ *   Igor Konnov
+ */
 class CheckCmd(name: String = "check", description: String = "Check a TLA+ specification")
-  extends AbstractCheckerCmd(name, description) {
+    extends AbstractCheckerCmd(name, description) {
 
   // Parses the smtEncoding option
   implicit val smtEncodingRead: Read[SMTEncoding] =
     Read.reads[SMTEncoding]("a SMT encoding, either oopsla19 or arrays")(SMTEncoding.ofString)
 
   var nworkers: Option[Int] = opt[Option[Int]](name = "nworkers", default = None,
-    description = "the number of workers for the parallel checker (soon), default: 1")
+      description = "the number of workers for the parallel checker (soon), default: 1")
   var algo: Option[String] = opt[Option[String]](name = "algo", default = None,
-    description = "the search algorithm: offline, incremental, parallel (soon), default: incremental")
+      description = "the search algorithm: offline, incremental, parallel (soon), default: incremental")
   var smtEncoding: Option[SMTEncoding] = opt[Option[SMTEncoding]](name = "smt-encoding", useEnv = true, default = None,
       description =
         s"the SMT encoding: ${SMTEncoding.OOPSLA19}, ${SMTEncoding.Arrays} (experimental), ${SMTEncoding.FunArrays} (experimental), default: ${SMTEncoding.OOPSLA19} (overrides envvar SMT_ENCODING)")
@@ -48,13 +48,13 @@ class CheckCmd(name: String = "check", description: String = "Check a TLA+ speci
 
   var maxError: Option[Int] =
     opt[Option[Int]](name = "max-error",
-      description =
-        "do not stop on first error, but produce at most the given number of errors (requires --view when greater than 1), default: 1",
-      default = None)
+        description =
+          "do not stop on first error, but produce at most the given number of errors (requires --view when greater than 1), default: 1",
+        default = None)
 
   var view: Option[String] =
     opt[Option[String]](name = "view", description = "the state view to use with --max-error=n, default: none",
-      default = None)
+        default = None)
 
   var saveRuns: Boolean =
     opt[Boolean](name = "output-traces", description = "save an example trace for each symbolic run, default: false",