diff --git a/ports/unix/main.c b/ports/unix/main.c
index 0e00db7fa2..e7048dd712 100644
--- a/ports/unix/main.c
+++ b/ports/unix/main.c
@@ -737,6 +737,9 @@ MP_NOINLINE int main_(int argc, char **argv) {
 }
 
 void nlr_jump_fail(void *val) {
+    #if MICROPY_USE_READLINE == 1
+    mp_hal_stdio_mode_orig();
+    #endif
     fprintf(stderr, "FATAL: uncaught NLR %p\n", val);
     exit(1);
 }