Minor change in server console output.