diff --git a/TODO b/TODO
index 33b40b5064e6432116c5e9bcd84c93331c48731b..d11d41298f9e67260d9df282c6ec8c8458bb2a97 100644
--- a/TODO
+++ b/TODO
@@ -149,6 +149,8 @@ server.
 ** Fix configure.in.  The output of ./configure --help isn't as good 
    as it should be.  See libisc.
 
+** The configure script fails if neither flex nor lex can be found.
+
 ** async-text-deleted (and possibly others) should be sent to
    recipients of any of the objects linked to the text that is
    deleted.
@@ -998,4 +1000,3 @@ server.
 Local variables:
 mode: outline
 End:
-