inserted prints for debug