Changing the last of the do_console_notify() function calls to console_message()