Do not assume 80 to be the default port for HTTPS

The default port for HTTPS is 443, therefore use it and not 80 if no
specific port is set.