binding and service elements in wsdl

[Femi Byte]

I have a question about this fragment in the WSDL spec:

<portType name="StockQuotePortType">
<operation name="GetLastTradePrice" parameterOrder="tickerSymbol timePeriod frequency">
<input message="tns:GetTradePricesInput"/>
<output message="tns:GetTradePricesOutput"/>
</operation>
</portType>
<binding name="StockQuoteSoapBinding" type="tns:StockQuotePortType">
<soap:binding style="rpc" transport="http://schemas.xmlsoap.org/soap/http"/>
<operation name="GetTradePrices">
<soap peration soapAction="http://example.com/GetTradePrices"/>
<input>
<soap:body use="encoded" namespace="http://example.com/stockquote"
encodingStyle="http://schemas.xmlsoap.org/soap/encoding/"/>
</input>
<output>
<soap:body use="encoded" namespace="http://example.com/stockquote"
encodingStyle="http://schemas.xmlsoap.org/soap/encoding/"/>
</output>
</operation>>
</binding>

<service name="StockQuoteService">
<documentation>My first service</documentation>
<port name="StockQuotePort" binding="tns:StockQuoteBinding">
<soap:address location="http://example.com/stockquote"/>
</port>
</service>
</definitions>

The port sub-element in the service element above specifies its name attribute as StockQuotePort and its binding attribute as StockQuoteBinding.
Is this correct? I would have thought that the name attribute would corr. to the portType name above, i.e. StockQuotePortType and the binding attribute to the binding element name attribute i.e. StockQuoteSoapBinding. Otherwise, how do we know what StockQuotePort and StockQuoteBinding refer to? Any clarification on this would be greatly appreciated.