Some additional debug output