diff --git a/src/toplevel.pl b/src/toplevel.pl
index 27783c45..5df86d48 100644
--- a/src/toplevel.pl
+++ b/src/toplevel.pl
@@ -112,7 +112,7 @@ run_goals([g(Gs0)|Goals]) :-
     (   ends_with_dot(Gs0) -> Gs1 = Gs0
     ;   append(Gs0, ".", Gs1)
     ),
-    read_term_from_chars(Gs1, Goal),
+    read_from_chars(Gs1, Goal),
     (   catch(
             user:Goal,
             Exception,