diff --git a/src/checksolution.jl b/src/checksolution.jl
index 015cf7e..fd0d459 100644
--- a/src/checksolution.jl
+++ b/src/checksolution.jl
@@ -145,7 +145,7 @@ function check_distance_to_positive_cone(Δ::GroupAlgebraElement, κ, A;
         return Interval_dist_to_Σ².lo
     else
         info(logger, "Checking Projected SOS decomposition in exact rational arithmetic...")
-        @time ℚ_dist_to_Σ² = distance_to_cone(κ_ℚ, A_sqrt_ℚ_aug, Δ_ℚ, augmented=true)
+        @time ℚ_dist_to_Σ² = distance_to_cone(κ_ℚ, A_sqrt_ℚ_aug, Δ_ℚ)
         @assert isa(ℚ_dist_to_Σ², Rational)
         info(logger, "Augmentation-projected rational distance (to positive cone)\n ≥ $(Float64(trunc(ℚ_dist_to_Σ²,8)))")
         info(logger, "-------------------------------------------------------------")