fixes in recursive backtracing. kind of