Debug output for understanding enumeration bug