diff --git a/include/mp/flat/converter.h b/include/mp/flat/converter.h
index a08602c22..686fdd17d 100644
--- a/include/mp/flat/converter.h
+++ b/include/mp/flat/converter.h
@@ -930,7 +930,7 @@ class FlatConverter :
 
     int relax_ = 0;
 
-    int solcheckmode_ = 1+2+16+512;
+    int solcheckmode_ = 1+2+8+512;
     bool solcheckinfeas_ = false;
     bool solcheckfail_ = false;
     double solfeastol_ = 1e-6;
@@ -1052,7 +1052,7 @@ class FlatConverter :
         "      applied by the solver when computing "
         "      expression values.\n"
                              "\n"
-                             "Default: 1+2+16+512.",
+                             "Default: 1+2+8+512.",
         options_.solcheckmode_, 0, 1024);
     GetEnv().AddOption("sol:chk:feastol sol:chk:eps chk:eps chk:feastol",
         "Absolute tolerance to check objective values, variable "
diff --git a/include/mp/flat/sol_check.h b/include/mp/flat/sol_check.h
index fd6a3c906..9e16f8274 100644
--- a/include/mp/flat/sol_check.h
+++ b/include/mp/flat/sol_check.h
@@ -195,7 +195,7 @@ class SolutionChecker {
       SolCheck& chk, bool f_idealistic) {
     fmt::MemoryWriter wrt;
     if (chk.HasAnyViols()) {
-      wrt.write("Type               MaxAbs [Name]   MaxRel [Name]\n");
+      wrt.write("Type                         MaxAbs [Name]   MaxRel [Name]\n");
     }
     if (chk.HasAnyConViols()) {
       Gen1Viol(chk.VarViolBnds().at(0), wrt, true,
@@ -227,7 +227,7 @@ class SolutionChecker {
       bool f_max, const std::string& type) {
     if (vs.N_) {
       // wrt.write("  {:16} {:<7}", type, vs.N_);
-      wrt.write("  {:17}", type);
+      wrt.write("  {:27}", type);
       auto vmaxabs = Gen1ViolMax(  // true: 1 for logical
             f_max, vs.epsAbsMax_, vs.nameAbs_);
       auto vmaxrel = Gen1ViolMax(