Small bugfix preventing correct HTTPS server startup

Thanks @ Alex!;-)