diff --git a/gdb/riscv-tdep.c b/gdb/riscv-tdep.c
index c17839968465..e2e5d88863cf 100644
--- a/gdb/riscv-tdep.c
+++ b/gdb/riscv-tdep.c
@@ -3638,6 +3638,9 @@ riscv_gdbarch_init (struct gdbarch_info info,
 
   register_riscv_ravenscar_ops (gdbarch);
 
+  /* Support simple overlay manager.  */
+  set_gdbarch_overlay_update (gdbarch, simple_overlay_update);
+
   return gdbarch;
 }
 
diff --git a/gdb/symfile.c b/gdb/symfile.c
index 673451148523..2afd53c5407e 100644
--- a/gdb/symfile.c
+++ b/gdb/symfile.c
@@ -3294,7 +3294,7 @@ overlay_auto_command (const char *args, int from_tty)
   overlay_debugging = ovly_auto;
   enable_overlay_breakpoints ();
   if (info_verbose)
-    printf_unfiltered (_("Automatic overlay debugging enabled."));
+    printf_unfiltered (_("Automatic overlay debugging enabled.\n"));
 }
 
 /* Function: overlay_manual_command
@@ -3307,7 +3307,7 @@ overlay_manual_command (const char *args, int from_tty)
   overlay_debugging = ovly_on;
   disable_overlay_breakpoints ();
   if (info_verbose)
-    printf_unfiltered (_("Overlay debugging enabled."));
+    printf_unfiltered (_("Overlay debugging enabled.\n"));
 }
 
 /* Function: overlay_off_command
@@ -3320,7 +3320,7 @@ overlay_off_command (const char *args, int from_tty)
   overlay_debugging = ovly_off;
   disable_overlay_breakpoints ();
   if (info_verbose)
-    printf_unfiltered (_("Overlay debugging disabled."));
+    printf_unfiltered (_("Overlay debugging disabled.\n"));
 }
 
 static void