diff --git a/passes/sat/sat_solve.cc b/passes/sat/sat_solve.cc
index b71d0507a..bf243ae2e 100644
--- a/passes/sat/sat_solve.cc
+++ b/passes/sat/sat_solve.cc
@@ -126,7 +126,7 @@ struct SatSolvePass : public Pass {
 		log("    -set <signal> <value>\n");
 		log("        set the specified signal to the specified value.\n");
 		log("\n");
-		log("    -show <signal>n");
+		log("    -show <signal>\n");
 		log("        show the model for the specified signal. if no -show option is\n");
 		log("        passed then a set of signals to be shown is automatically selected.\n");
 		log("\n");