fix fallback printing in fresolve