#622: Wrong port defaulting if https used.