wss://steward.local:8888/manage 8888 or 8887?

[zhoumingchun]

In the client example
steward-master/steward-master/clients/examples/arduino/mDNS/Lightbulb_on/Lightbulb_on.ino
Line 75 " if( client.connect((char *)ip_to_str(steward),8887) ) { "
I know using EthernetBonjour.setServiceFoundCallback(serviceFound)
we can found the steward ip address, so in the line 75 client connect to steward service, then
in the wiki, we are told to use "wss://steward.local:8888/manage"
but the code connect to port 8887?
Which is correct?