default port to 443, which should be 99% of the cases