diff --git a/etc/TODO b/etc/TODO
index 91b0e59fa9f..69bac633a4d 100644
--- a/etc/TODO
+++ b/etc/TODO
@@ -9,6 +9,8 @@ to the FSF.
 
 * Small but important fixes needed in existing features:
 
+** revert-buffer should eliminate overlays and the mark.
+
 ** Make occur correctly handle matches that span more than one line,
    as well as overlapping matches.