diff --git a/src/prolog/lib/builtins.pl b/src/prolog/lib/builtins.pl
index 0cf39457..76060ca5 100644
--- a/src/prolog/lib/builtins.pl
+++ b/src/prolog/lib/builtins.pl
@@ -1307,12 +1307,11 @@ stream_property(S, P) :-
 
 at_end_of_stream(S_or_a) :-
     (  atom(S_or_a) ->
-       stream_property(S, alias(A))
+       stream_property(S, alias(S_or_a))
     ;  S = S_or_a
     ),
     stream_property(S, end_of_stream(E)),
-    !,
-    ( E = at ; E = past ).
+    ( E = at -> true ; E = past ).
 
 at_end_of_stream :-
     current_input(S),