Good catch! You're absolutely right - the default port for HTTPS is 443, not 80. Thus the example should say https://example.com:443/path/two. It became incorrect after switching from HTTP to HTTPS which unintentionally made the example invalid. Thanks for pointing it out and sorry for being a bit too slow to reply!