Minor change in BareServerConsole