add some extra debugging in