diff --git a/C/iopreds.c b/C/iopreds.c
index 65d2fafc3..665ff5b50 100644
--- a/C/iopreds.c
+++ b/C/iopreds.c
@@ -219,10 +219,10 @@ Yap_GetCharForSIGINT(void)
 {
   int ch;
   /* ask for a new line */
-  fprintf(stderr, "Action (h for help): ");
-  ch = getc(stdin);
+  Sfprintf(Serror, "\nAction (h for help): ");
+  ch = Sgetchar();
   /* first process up to end of line */
-  while ((fgetc(stdin)) != '\n');
+  while ((Sfgetc(Sinput)) != '\n');
   newline = TRUE;
   return ch;
 }