fix a very strange and yet-unnoticed mistake with http/https