diff --git a/src/toplevel.pl b/src/toplevel.pl
index e9f45e0e..a8699824 100644
--- a/src/toplevel.pl
+++ b/src/toplevel.pl
@@ -184,6 +184,10 @@ submit_query_and_print_results_(Term, VarList) :-
     write_eqs_and_read_input(B, VarList),
     !.
 submit_query_and_print_results_(_, _) :-
+    (   bb_get('$first_answer', true) ->
+        write('   ')
+    ;   true
+    ),
     write('false.'),
     nl.