fixed incorrect generation of HTTPS URLs