diff --git a/Parser/myreadline.c b/Parser/myreadline.c
index 28008db..dd00077 100644
--- a/Parser/myreadline.c
+++ b/Parser/myreadline.c
@@ -117,6 +117,10 @@
 	}
 	old_inthandler = signal(SIGINT, onintr);
 	if (setjmp(jbuf)) {
+#ifdef HAVE_SIGRELSE
+		/* This seems necessary on SunOS 4.1 (Rasmus Hahn) */
+		sigrelse(SIGINT);
+#endif
 		signal(SIGINT, old_inthandler);
 		return NULL;
 	}
@@ -140,8 +144,10 @@
 	n = 100;
 	if ((p = malloc(n)) == NULL)
 		return NULL;
+	fflush(stdout);
 	if (prompt)
 		fprintf(stderr, "%s", prompt);
+	fflush(stderr);
 	switch (my_fgets(p, n, stdin)) {
 	case 0: /* Normal case */
 		break;