Bugfix in fake_ssl