diff --git a/analyzer/python/ikos/http.py b/analyzer/python/ikos/http.py
index f5782116..d20f66fb 100644
--- a/analyzer/python/ikos/http.py
+++ b/analyzer/python/ikos/http.py
@@ -78,7 +78,7 @@ def __init__(self, server_address, RequestHandlerClass, bind_and_activate=True):
                 # If the exception is due to IPv6 not being supported, we
                 # select IPv4 only and try to re-open the server again.
                 self.address_family = AF_INET
-                HTTPServer(server_address, RequestHandlerClass, bind_and_activate)
+                super().__init__(server_address, RequestHandlerClass, bind_and_activate)
             else:
                 # If the exception is for any other reason other than IPv6 not
                 # being supported, then we cannot do anything about it.