                                    (str/split it #"\n"))]
               (print-with-caption caption line)
               (doseq [line lines]
-                (println "           " line))))]
+                (println "          " line))))]
    (let [[chunk & more] (rseq trace)]
-     (println (str " (" (inc i) "/" total ")\n"))
+     (println (str "(" (inc i) "/" total ")\n"))
      (print-data "Input" chunk)
      (print-spec "Expected" (:pred problem))
      (when-let [reason (:reason problem)]
-       (println (pad-left "Failure " 10))
+       (println (pad-left "Failure " 9))
        (print-with-caption "Reason" reason))
      (when (seq more)
        (doseq [chunk more]
-         (->> "\n    --- This comes originally from ---\n"
+         (->> "\n   --- This comes originally from ---\n"
               (colorize :cyan)
               println)
          (print-data "Original" chunk)
-         (println (pad-left "Spec" 10))
+         (println (pad-left "Spec" 9))
          (print-spec "Applied" (:spec (peek chunk))))))))
 
 (defn pinpoint-out


(defn- print-headline [nproblems]
  (if (= nproblems 1)
    (println " Detected 1 spec error:")
    (println " Detected" nproblems "spec errors:")))

(defn- hline [width]
  (->> (str " " (times (- width 2) \-) " ")
       (colorize :cyan)
       println))


                    (catch #?(:clj Throwable :cljs :default) e e))]
       (cond (vector? traces)
             (binding [*colorize-fn* (choose-colorize-fn colorize)]
               (print-headline nproblems)
               (hline width)
               (doseq [t (map vector (range) problems traces)]
                 (print-error nproblems value t {:width (max (- width 11) 0)})
                 (newline)
                 (hline width)))

