Updated example in documentation to include port 443.