dbg info for correctness