Fix ugly whitespace in getServerName().