Clarification on port in SERVER_NAME