diff --git a/polymani.pl b/polymani.pl
index bb54dfa..052ad62 100644
--- a/polymani.pl
+++ b/polymani.pl
@@ -546,7 +546,7 @@ simplify_polynomial(P, P2) :-
 simplify_polynomial_as_list(L, L13) :-
     %% Convert each term to a list
     maplist(term_to_list, L, L2),
-    %% Sort each sublist; done so the next
+    %% Sort each sublist so that the next
     %% sort gives the correct results
     maplist(sort(0, @>=), L2, L3),
     %% Sort the outer list