add more debug info to process_incoming_bye()