diff --git a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_MakeSquareFree.tex b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_MakeSquareFree.tex
index b7340a80988..b9af5ad03cb 100644
--- a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_MakeSquareFree.tex
+++ b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_MakeSquareFree.tex
@@ -7,7 +7,7 @@ a polynomial of type \ccc{PolynomialTraits_d::Polynomial_d}
 
 A polynomial $p$ can be  factored into square-free and pairwise coprime 
 non-constant factors $g_i$ with multiplicities $m_i$ and a constant factor $a$, 
-such that $p = a  \cdot  g_1m_1  \cdot  ...  \cdot  g_nm_n$.
+such that $p = a  \cdot  g_1m_1  \cdot  ...  \cdot  g_nm_n$, where all $g_i$ are canonicalized.
 
 Given this decomposition, the square free part is defined as the product $g_1  \cdot  ...  \cdot  g_n$, 
 which is computed by this functor. 
@@ -25,7 +25,7 @@ which is computed by this functor.
 
 \ccOperations
 \ccMethod{result_type operator()(argument_type  p);}
-         { return the square-free part of $p$ {\em up to a constant factor.} }
+         { return the square-free part of $p$.}
 
 
 %\ccHasModels
@@ -33,5 +33,6 @@ which is computed by this functor.
 \ccSeeAlso
 
 \ccRefIdfierPage{Polynomial_d}\\
-\ccRefIdfierPage{PolynomialTraits_d}
+\ccRefIdfierPage{PolynomialTraits_d}\\
+\ccRefIdfierPage{PolynomialTraits_d::Canonicalize}
 \end{ccRefConcept}