Shouldn't the default port be different when protocol is set to https?