diff --git a/app/cli-acx/src/main/java/io/github/applecommander/acx/Main.java b/app/cli-acx/src/main/java/io/github/applecommander/acx/Main.java
index 94afed32..67243bbc 100644
--- a/app/cli-acx/src/main/java/io/github/applecommander/acx/Main.java
+++ b/app/cli-acx/src/main/java/io/github/applecommander/acx/Main.java
@@ -20,7 +20,8 @@
 package io.github.applecommander.acx;
 
 import io.github.applecommander.acx.command.*;
-import io.github.applecommander.acx.command.AbstractProofCommand.*;
+import io.github.applecommander.acx.command.AbstractProofCommand.HiddenProofCommand;
+import io.github.applecommander.acx.command.AbstractProofCommand.ProofCommand;
 import picocli.CommandLine;
 import picocli.CommandLine.Command;
 import picocli.CommandLine.HelpCommand;
diff --git a/app/cli-acx/src/main/java/io/github/applecommander/acx/command/AbstractProofCommand.java b/app/cli-acx/src/main/java/io/github/applecommander/acx/command/AbstractProofCommand.java
index 2e89dbcd..7610568c 100644
--- a/app/cli-acx/src/main/java/io/github/applecommander/acx/command/AbstractProofCommand.java
+++ b/app/cli-acx/src/main/java/io/github/applecommander/acx/command/AbstractProofCommand.java
@@ -28,11 +28,11 @@ import io.github.applecommander.acx.converter.DiskConverter;
 import org.applecommander.bastools.api.Configuration;
 import org.applecommander.bastools.api.ModernTokenReader;
 import org.applecommander.bastools.api.Parser;
-import picocli.CommandLine.*;
-import picocli.CommandLine.Model.*;
 import org.applecommander.bastools.api.model.Program;
 import org.applecommander.bastools.api.model.Token;
 import org.applecommander.bastools.api.proofreaders.*;
+import picocli.CommandLine.*;
+import picocli.CommandLine.Model.CommandSpec;
 
 import java.io.File;
 import java.io.FileNotFoundException;