diff --git a/src/bin/pg_ctl/pg_ctl.c b/src/bin/pg_ctl/pg_ctl.c
new file mode 100644
index 2fab5c9..4b9fb84
*** a/src/bin/pg_ctl/pg_ctl.c
--- b/src/bin/pg_ctl/pg_ctl.c
*************** do_stop(void)
*** 865,870 ****
--- 865,873 ----
  			print_msg(_(" failed\n"));
  
  			write_stderr(_("%s: server does not shut down\n"), progname);
+ 			if (shutdown_mode == SMART_MODE)
+ 				write_stderr(_("TIP: the \"-m fast\" option immediately disconnects sessions rather than\n"
+ 							"waiting for session-initiated disconnection.\n"));
  			exit(1);
  		}
  		print_msg(_(" done\n"));
*************** do_restart(void)
*** 952,957 ****
--- 955,963 ----
  			print_msg(_(" failed\n"));
  
  			write_stderr(_("%s: server does not shut down\n"), progname);
+ 			if (shutdown_mode == SMART_MODE)
+ 				write_stderr(_("TIP: the \"-m fast\" option immediately disconnects sessions rather than\n"
+ 							"waiting for session-initiated disconnection.\n"));
  			exit(1);
  		}