A few more bits of debugging