diff --git a/src/storm/logic/ExtractMaximalStateFormulasVisitor.cpp b/src/storm/logic/ExtractMaximalStateFormulasVisitor.cpp
index 6652c868b..c149a144f 100644
--- a/src/storm/logic/ExtractMaximalStateFormulasVisitor.cpp
+++ b/src/storm/logic/ExtractMaximalStateFormulasVisitor.cpp
@@ -150,7 +150,9 @@ namespace storm {
         }
 
         std::shared_ptr<Formula> ExtractMaximalStateFormulasVisitor::extract(std::shared_ptr<Formula> f) const {
-            // TODO can be optimized
+            // We use the string representation of formulae to check if they are equivalent.
+            // Of course, this could be made more elegant if there were an actual operator< and/or operator== for formulae
+
             std::string label;
 
             // Find equivalent formula in cache