Some additional debugging