adding debugging trace