Add some prints for debugging