diff --git a/README.md b/README.md
index 64768c23..52b29734 100644
--- a/README.md
+++ b/README.md
@@ -343,7 +343,6 @@ REPL:
 
 ```
 ?- [user].
-(type Enter + Ctrl-D to terminate the stream when finished)
 :- module(test, [local_member/2]).
 :- use_module(library(lists)).