Fix bug in backtracing in ooo_core