fix default port for https requests to be 443 instead of 80