Fix counterexample spacing