add some extra debugging