Fix call to resolve_pointer (missing argument)