diff --git a/examples/web_server/web_server.c b/examples/web_server/web_server.c
index 07fda84e..03c13d0a 100644
--- a/examples/web_server/web_server.c
+++ b/examples/web_server/web_server.c
@@ -71,12 +71,7 @@ static char server_name[50];        // Set by init_server_name()
 static char s_config_file[PATH_MAX];  // Set by process_command_line_arguments
 static struct mg_server *server;    // Set by start_mongoose()
 static const char *s_default_document_root = ".";
-#ifndef NS_ENABLE_SSL
 static const char *s_default_listening_port = "8080";
-#else
-static const char *s_default_listening_port = "ssl://8443:certs/cert.pem";
-#endif
-
 static char **s_argv = { NULL };
 
 static void set_options(char *argv[]);
@@ -101,11 +96,8 @@ static void __cdecl signal_handler(int sig_num) {
 }
 
 static void vnotify(const char *fmt, va_list ap, int must_exit) {
-  char msg[200];
-
-  vsnprintf(msg, sizeof(msg), fmt, ap);
-  fprintf(stderr, "%s\n", msg);
-
+  vfprintf(stderr, fmt, ap);
+  fputc('\n', stderr);
   if (must_exit) {
     exit(EXIT_FAILURE);
   }