fix syntax error in server info printout