add some debugging