Fix typo in https docs