bugfix: segfault when Eq4p was instantiated