minor changes to what is printed out when server launches (was too much)