diff --git a/Algebraic_foundations/doc/Algebraic_foundations/classified.txt b/Algebraic_foundations/doc/Algebraic_foundations/classified.txt
index b3cbd235641..9590e45fe83 100644
--- a/Algebraic_foundations/doc/Algebraic_foundations/classified.txt
+++ b/Algebraic_foundations/doc/Algebraic_foundations/classified.txt
@@ -16,10 +16,10 @@
 - `FieldWithKthRoot`
 - `FieldWithRootOf`
 
+- `AlgebraicStructureTraits`
 - `AlgebraicStructureTraits::IsZero`
 - `AlgebraicStructureTraits::IsOne`
 - `AlgebraicStructureTraits::Square`
-
 - `AlgebraicStructureTraits::Simplify`
 - `AlgebraicStructureTraits::UnitPart`
 - `AlgebraicStructureTraits::IntegralDivision`