diff --git a/src/PropertyT.jl b/src/PropertyT.jl
index e5b8fd3..f4ab032 100644
--- a/src/PropertyT.jl
+++ b/src/PropertyT.jl
@@ -4,7 +4,6 @@ using JLD
 using GroupRings
 using Memento
 
-
 using Groups
 import Nemo: Group, GroupElem
 
diff --git a/src/checksolution.jl b/src/checksolution.jl
index 85213de..2db075e 100644
--- a/src/checksolution.jl
+++ b/src/checksolution.jl
@@ -130,6 +130,7 @@ function check_distance_to_positive_cone(Δ::GroupRingElem, λ, P;
         return fp_distance
     end
 
+    info(logger, "")
     info(logger, "Projecting columns of rationalized Q to the augmentation ideal...")
     δ = eps(λ)
     Q_ℚ = ℚ(Q, δ)