diff --git a/Alpha_wrap_3/include/CGAL/Alpha_wrap_3/internal/Alpha_wrap_3.h b/Alpha_wrap_3/include/CGAL/Alpha_wrap_3/internal/Alpha_wrap_3.h
index 2bfae11f3b7..8529af0b0f2 100644
--- a/Alpha_wrap_3/include/CGAL/Alpha_wrap_3/internal/Alpha_wrap_3.h
+++ b/Alpha_wrap_3/include/CGAL/Alpha_wrap_3/internal/Alpha_wrap_3.h
@@ -1087,6 +1087,9 @@ private:
       return false;
 #endif
 
+    // @todo could avoid useless facet_status() calls by doing it after the zombie check
+    // for the unsorted priority queue, but AFAIR, it doesn't save noticeable time (and that
+    // increases the queue size).
     const Facet_status status = facet_status(f);
     if(status == Facet_status::IRRELEVANT)
       return false;