add some prints for debugging